EQUATIONS OVER DIRECT POWERS OF ALGEBRAIC STRUCTURES IN RELATIONAL LANGUAGES
نویسندگان
چکیده
For a semigroup S (group G) we study relational equations and describe all semigroups with equationally Noetherian direct powers. It follows that any group G has powers if consider as an algebraic structure of certain language. Further specify the results follows: power finite is Noetherian, then minimal ideal Ker(S) rectangular band groups coincides set reducible elements
منابع مشابه
Kernels over Relational Algebra Structures
In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of foreign keys to define a new attribute that we call instanceset and we use this type of attributes to define a tree like structured representation of the learning instances. We define kernel functions over relational schemata w...
متن کاملIntrinsic computability over algebraic structures
The notion of computable function can be extended from the natural numbers to other domains, using an indexing. Usually, the choice of the indexing affects the set of computable functions and there is no intrinsic notion of computability over these domains. In this paper, we show that, in contrast, when we extend the notion of computable function to algebraic structures, we obtain an intrinsic ...
متن کاملCounting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers
As society becomes more reliant on computers, cryptographic security becomes increasingly important. Current encryption schemes include the ElGamal signature scheme, which depends on the complexity of the discrete logarithm problem. It is thought that the functions that such schemes use have inverses that are computationally intractable. In relation to this, we are interested in counting the so...
متن کاملTest Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid
It is shown that for every context free language L there effectively exists a test set F, that is, a finite subset F of L such that, for any pair (g, h) of morphisms, g(x) = h(x) for all x in F implies g(x) = h(x) for all x in L. This result was claimed earlier but a detailed correct proof is given here. Together with very recent results on systems of equations over a free monoid this result im...
متن کاملALGEBRAIC NONLINEARITY IN VOLTERRA-HAMMERSTEIN EQUATIONS
Here a posteriori error estimate for the numerical solution of nonlinear Voltena- Hammerstein equations is given. We present an error upper bound for nonlinear Voltena-Hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of Brunner for these problems (the implicitly linear collocation method)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Prikladnaâ diskretnaâ matematika
سال: 2021
ISSN: ['2311-2263', '2071-0410']
DOI: https://doi.org/10.17223/20710410/53/1